static timing analysis lecture